- метод резолюций
- Information technology: resolution method
Универсальный русско-английский словарь. Академик.ру. 2011.
метод резолюций
Смотреть что такое "метод резолюций" в других словарях:
метод резолюций — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN resolution method … Справочник технического переводчика
Метод резолюций — Правило резолюций правило вывода в исчислении высказываний и исчислении предикатов. Исчисление высказываний Пусть C1 и C2 два предложения в исчислении высказываний, и пусть , а , где P пропозициональная переменная, а C 1 и … Википедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Эстонская Советская Социалистическая Республика — Эстония (Ээсти НСВ). I. Общие сведения Эстонская ССР образована 21 июля 1940. С 6 августа 1940 в составе СССР. Расположена на С. З. Европейской части СССР, на побережье Балтийского моря, между Финским (на С. ) и Рижским… … Большая советская энциклопедия
МАРКС — (Marx) Карл, полное имя Карл Генрих (1818 1883) нем. философ, социолог и экономист, один из наиболее глубоких критиков капитализма и основателей современного социализма. Творчество М. оказало серьезное воздействие на социальную мысль и социальные … Философская энциклопедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
Ленин. Владимир Ильич Ульянов. Биография — Ленин, Владимир Ильич (наст. фамилия Ульянов) (1870 1924) Ленин. Владимир Ильич Ульянов. Биография Русский политический и государственный деятель, продолжатель дела К.Маркса и Ф.Энгельса , организатор Коммунистической партии Советского Союза… … Сводная энциклопедия афоризмов
Ленин, Владимир Ильич — Проверить нейтральность. На странице обсуждения должны быть подробности. Запрос «Ленин» перенаправляется сюда; см. также другие значения … Википедия
Республиканская партия России — У этого термина существуют и другие значения, см. Республиканская партия. Республиканская партия России Партия народной свободы (РПР ПАРНАС)[1] … Википедия
Маркс — Биография. Учение Маркса. Философский материализм. Диалектика. Материалистическое понимание истории. Классовая борьба. Экономическое учение Маркса. Стоимость. Прибавочная стоимость. Социализм. Тактика классовой борьбы пролетариата … Литературная энциклопедия
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
